String to Integer conversion in Python